1. Advanced Topics in Bisimulation and Coinduction
پدیدآورنده: / Davide Sangiorgi, Jan Rutten
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
2. Advanced Topics in Bisimulation and Coinduction
پدیدآورنده: / Sangiorgi, Davide
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
3. CONCUR'98 : Concurrency theory : 9th International Conference, Nice, France, September 8-11, 1998 : proceedings
پدیدآورنده: Davide Sangiorgi, Robert de Simone )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1466
4. Introduction to Bisimulation and Coinduction
پدیدآورنده: / Sangiorgi, Davide
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
5. Theoretical Computer Science
پدیدآورنده: / Josep Diaz, Ivan Lanese, Davide Sangiorgi
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
